Computer aided verification
- Författare
- David L. Dill International Conference on Computer Aided Verification 1994) Stanford :
- (6th International Conference, CAV '94, Stanford, California, USA, June 21 - 23, 1994 : proceedings David L. Dill (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1994 | Tyskland, Berlin, New York | ix, 480 sidor. ill. |